Functional programming - PDFSEARCH.IO - Document Search Engine

Functional programming
Results: 3706

#	Item
551	BRICS RS-05-3 Danvy & Goldberg: There and Back Again BRICS Basic Research in Computer Science Add to Reading List Source URL: brics.dk Language: English - Date: 2005-03-21 05:10:41 Software engineering Computer programming Declarative programming Functional programming Functional languages Subroutines Recursion Procedural programming languages Standard ML Tail call ML Monad
552	Daniel Midwood I am a f u nc t io nal pro grammer, f o c u sed o n C l o ju re devel o pment , designing and impl ement ing A PI s, and sc al ing syst ems. I h ave f u rt h er experienc e in Sc al a and J avaSc ript and Add to Reading List Source URL: resume.danmidwood.com Language: English - Date: 2015-01-16 08:53:50 Functional languages Scripting languages Cross-platform software Object-oriented programming languages Concurrent programming languages Clojure Scala Java Functional programming
553	Functional programming 1 Where are we today Peter Sestoft IT University of Copenhagen Ingeniørforeningen, IDA-IT Wednesday Add to Reading List Source URL: www.itu.dk Language: English - Date: 2014-09-27 06:50:55
554	Declarative foreign function binding through generic programming Jeremy Yallop, David Sheets and Anil Madhavapeddy University of Cambridge Computer Laboratory Abstract. Foreign function interfaces are typically organise Add to Reading List Source URL: anil.recoil.org Language: English - Date: 2015-12-17 06:24:32 Software engineering Computer programming Computing C++ C Data types Object-oriented programming languages Functional languages Typedef OCaml Const Pointer
555	Simulation of Built-in PHP Features for Precise Static Code Analysis Johannes Dahse Thorsten Holz Add to Reading List Source URL: syssec.rub.de Language: English - Date: 2014-01-21 13:22:44 Software engineering Computing Computer programming Scripting languages Data types Cross-platform software Object-oriented programming languages Functional languages RIPS PHP Data-flow analysis Scope
556	From “Research Topics in Functional Programming” ed. D. Turner, Addison-Wesley, 1990, pp 17–42. Why Functional Programming Matters John Hughes Add to Reading List Source URL: www.cs.kent.ac.uk Language: English - Date: 2006-05-19 11:07:35 Software engineering Computer programming Declarative programming Functional programming Data types Higher-order functions Programming language comparisons Lisp Fold Cons Append List
557	Archibald Samuel Elliott Computer Science PhD Student: Programming Languages Research Interests I’m particularly interested in Type-directed Program Synthesis. Program Synthesis is a method by which we devise methods t Add to Reading List Source URL: lenary.co.uk Language: English - Date: 2016-03-31 14:23:30 Computing Software engineering Computer programming Concurrent programming languages Functional languages Cloud infrastructure NoSQL Procedural programming languages Erlang Basho Technologies Functional programming Concurrent computing
558	Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire Erik Meijer * Maarten Fokkinga t Add to Reading List Source URL: doc.utwente.nl Language: English - Date: 2011-08-28 10:57:03
559	Why Functional Programming Matters Part 2 Add to Reading List Source URL: xfront.com Language: English - Date: 2013-05-31 05:20:58
560	Tracing ambiguity in GADT type inference Jacques Garrigue∗ Didier R´emy† Abstract Add to Reading List Source URL: www.math.nagoya-u.ac.jp Language: English - Date: 2012-09-06 08:22:15 Type theory Data types Functional languages Type systems Object-oriented programming languages OCaml Type inference Generalized algebraic data type Unification ML HindleyMilner type system Type conversion

UPDATE